BUILD = --models=model.aadl --no-run

include $(POK_PATH)/misc/mk/examples.mk
